IASC: Interactive Agentic System for ConLangs
arxiv.orgยท15h
๐ŸŒณContext free grammars
The Absolute Minimum Every Developer Must Know About Unicode and Character Sets
joelonsoftware.comยท2dยท
Discuss: Hacker News
๐Ÿ”คCharacter Encoding
Sorting encrypted data without decryption: a practical trick
dev.toยท4hยท
Discuss: DEV
๐Ÿ”Hash Functions
Three ways formally verified code can go wrong in practice
buttondown.comยท2h
๐Ÿ“œProof Carrying Code
Categorical systems theory
topos.instituteยท7h
๐Ÿ”€Category Theory
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.caยท10mยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
Cactus Language โ€ข Semantics 3
inquiryintoinquiry.comยท3h
๐Ÿ”ขDenotational Semantics
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.orgยท15h
๐Ÿ”—Graph Isomorphism
Basketball trivia, editing distances, and derangement
leancrew.comยท1d
๐ŸŒณTrie Structures
Modern C and initializing an array
subethasoftware.comยท1d
๐Ÿ—‚Data structures
Let's Write a Macro in Rust
hackeryarn.comยท3hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
GHC Developer Blog: GHC 9.14.1-alpha3 is now available
haskell.orgยท1d
๐Ÿ”—Functional Compilers
An enough week
blog.mitrichev.chยท23hยท
๐Ÿ“ˆLinear programming
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.comยท9h
๐Ÿ’ŽInformation Crystallography
From Documents to Dialogue: A step-by-step RAG Journey
dev.toยท5hยท
Discuss: DEV
๐Ÿ“ŠMulti-vector RAG
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blogยท17hยท
โœ…Format Verification
ParsTranslit: Truly Versatile Tajik-Farsi Transliteration
arxiv.orgยท15h
๐Ÿ“œDigital Philology
Markdown2pdf โ€“ pure md to pdf transpiler implementation in Rust
github.comยท8hยท
Discuss: Hacker News
๐Ÿ“„PDF Internals